101. Foundations of deductive databases and logic programming
پدیدآورنده : contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
102. Foundations of equational logic programming
پدیدآورنده : Holldobler, Steffen
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
H65
1989
103. Foundations of equational logic programming
پدیدآورنده : Holldobler, Steffen, 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
L28
Vol
.
353
104. Foundations of inductive logic programming
پدیدآورنده : Nienhuys-Cheng, S. H. )Shan-Hwei(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Machine learning,، Induction )Logic(
رده :
QA
76
.
63
.
N54
1997
105. Foundations of inductive logic programming
پدیدآورنده : Nienhuys-Cheng, Shan-Hwei
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
N5
1997
106. Foundations of inductive logic programming
پدیدآورنده : Nienhuys-Cheng, Shan-Hwei, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Machine learning,، Induction )Logic(
رده :
QA
76
.
L28
Vol
.
1228
107. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
108. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
109. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
110. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
111. Foundations of probabilistic logic programming :
پدیدآورنده : Fabrizio Riguzzi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
112. From Logic Design to Logic Programming:
پدیدآورنده : D Snyers
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Computer programming.,Computer science.
رده :
QA76
.
9
.
A96
D769
1987
113. From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده : Snyers, Dominique, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
114. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
115. From logic programming to Prolog
پدیدآورنده : Krzysztof R. Apt
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
116. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
117. From logic to logic programming
پدیدآورنده : Doets, Kees
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
D64
1994
118. From logic to logic programming /
پدیدآورنده : Kees Doets
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming
رده :
QA76
.
63
.
D64
1994
119. Functional and Logic Programming
پدیدآورنده : \ Oleg Kiselyov , Andy King (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
62
.
F8
2016
E-Book
,
120. Functional and constraint logic programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
